Derived Operations in Goguen Categories
نویسنده
چکیده
Goguen categories were introduced in [13] as a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In this paper we want to study operations on morphisms of a Goguen category which are derived from suitable binary functions on the underlying lattice of scalar elements, i.e., on the abstract counterpart of L.
منابع مشابه
Goguen Categories
This paper is a survey of the theory of Goguen categories which establishes a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In particular, we concentrate on representability, the existence of crisp versions of several categorical constructions, and o...
متن کاملArrow categories
Goguen categories were introduced as a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In this paper we want to study the algebraic structures derived from Goguen categories by replacing its second-order axiom by some weaker versions.
متن کاملTime-Dependent Contact Structures in Goguen Categories
In this paper we focus on a time-extended theory of contact. It turns out that a suitable theory can be defined using L-valued or L-fuzzy version of a contact relation. We study this structure in the context of Goguen categories a suitable categorical formalization of L-valued/fuzzy relations.
متن کاملFormalising Ontologies and Their Relations
Software Speci cation, pages 292{332. Springer, 1980. Lecture Notes inComputer Science, Volume 86.[6] Robert L. Carpenter. The Logic of Typed Feature Structures, volume 32 of Cam-bridge Tracts in Theoretical Computer Science. Cambridge, 1992.[7] Corina Ĉ rstea. A semantical study of the object paradigm. Transfer thesis, OxfordUniversity Computing Laboratory, 1996.[8] R<l...
متن کاملKan Extensions of Institutions
Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...
متن کامل